L’officina di Gordon Craig

Isotope effects in the evaporation of water: a status report of the Craig-Gordon model.

The Craig-Gordon model (C-G model) [H. Craig, L.I. Gordon. Deuterium and oxygen 18 variations in the ocean and the marine atmosphere. In Stable Isotopes in Oceanographic Studies and Paleotemperatures, E. Tongiorgi (Ed.), pp. 9-130, Laboratorio di Geologia Nucleare, Pisa (1965).] has been synonymous with the isotope effects associated with the evaporation of water from surface waters, soils, and...

Reviewer : Craig

Craig Interpretation

Abstract interpretation (AI) is one of the most scalable automated approaches to program verification available today. To achieve efficiency, many steps of the analysis, e.g., joins and widening, lose precision. As a result, AI often produces false alarms, coming from the inability to find a safe inductive invariant even when it exists in a chosen abstract domain. To tackle this problem, we pre...

Observations of hydrogen and oxygen isotopes in leaf water confirm the craig-gordon model under wide-ranging environmental conditions

The Craig-Gordon evaporative enrichment model of the hydrogen (deltaD) and oxygen (delta(18)O) isotopes of water was tested in a controlled-environment gas exchange cuvette over a wide range (400 per thousand deltaD and 40 per thousand delta(18)O) of leaf waters. (Throughout this paper we use the term "leaf water" to describe the site of evaporation, which should not be confused with "bulk leaf...

Craig Interpolation via Hypersequents

In this paper, we describe a novel constructive method of proving the Craig interpolation property (CIP) based on cut-free hypersequent calculi and apply the method to prove the CIP for the modal logic S5.